TAGs: Convex lens examples